package plus;
import java.util.*;
public class Gamma {
	Map<Type, Type> assignment = new HashMap<Type, Type>();

	public void assign(Type near, Type far) {
		assignment.put(far, Type.unify(near, assignment.get(far)));
	}
}
